- assertional knowledge
- знание в виде (утвердительных) суждений, знание в виде утверждений
English-Russian electronics dictionary .
assertional knowledge
Смотреть что такое "assertional knowledge" в других словарях:
AKB — Assertional Knowledge Base (KI) … Acronyms
AKB — Assertional Knowledge Base ( KI) … Acronyms von A bis Z
Description logic — (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first order predicate logic. DL is used in artificial intelligence for formal reasoning on … Wikipedia
Default logic — is a non monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions. Default logic can express facts like “by default, something is true”; by contrast, standard logic can only express that something is true or that … Wikipedia
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
SNePS — is a knowledge representation, reasoning, and acting (KRRA) system developed and maintained by Stuart C. Shapiro and colleagues at the State University of New York at Buffalo. SNePS is simultaneously a logic based, frame based, and network based… … Wikipedia
